Axon Verified Compiler